|
In mathematics, structural stability is a fundamental property of a dynamical system which means that the qualitative behavior of the trajectories is unaffected by small perturbations (to be exact ''C''1-small perturbations). Examples of such qualitative properties are numbers of fixed points and periodic orbits (but not their periods). Unlike Lyapunov stability, which considers perturbations of initial conditions for a fixed system, structural stability deals with perturbations of the system itself. Variants of this notion apply to systems of ordinary differential equations, vector fields on smooth manifolds and flows generated by them, and diffeomorphisms. Structurally stable systems were introduced by Aleksandr Andronov and Lev Pontryagin in 1937 under the name "systèmes grossiers", or rough systems. They announced a characterization of rough systems in the plane, the Andronov–Pontryagin criterion. In this case, structurally stable systems are ''typical'', they form an open dense set in the space of all systems endowed with appropriate topology. In higher dimensions, this is no longer true, indicating that typical dynamics can be very complex (cf strange attractor). An important class of structurally stable systems in arbitrary dimensions is given by Anosov diffeomorphisms and flows. == Definition == Let ''G'' be an open domain in R''n'' with compact closure and smooth (''n''−1)-dimensional boundary. Consider the space ''X''1(''G'') consisting of restrictions to ''G'' of ''C''1 vector fields on R''n'' that are transversal to the boundary of ''G'' and are inward oriented. This space is endowed with the ''C''1 metric in the usual fashion. A vector field ''F'' ∈ ''X''1(''G'') is weakly structurally stable if for any sufficiently small perturbation ''F''1, the corresponding flows are topologically equivalent on ''G'': there exists a homeomorphism ''h'': ''G'' → ''G'' which transforms the oriented trajectories of ''F'' into the oriented trajectories of ''F''1. If, moreover, for any ''ε'' > 0 the homeomorphism ''h'' may be chosen to be ''C''0 ''ε''-close to the identity map when ''F''1 belongs to a suitable neighborhood of ''F'' depending on ''ε'', then ''F'' is called (strongly) structurally stable. These definitions extend in a straightforward way to the case of ''n''-dimensional compact smooth manifolds with boundary. Andronov and Pontryagin originally considered the strong property. Analogous definitions can be given for diffeomorphisms in place of vector fields and flows: in this setting, the homeomorphism ''h'' must be a topological conjugacy. It is important to note that topological equivalence is realized with a loss of smoothness: the map ''h'' cannot, in general, be a diffeomorphism. Moreover, although topological equivalence respects the oriented trajectories, unlike topological conjugacy, it is not time-compatible. Thus the relevant notion of topological equivalence is a considerable weakening of the naïve ''C''1 conjugacy of vector fields. Without these restrictions, no continuous time system with fixed points or periodic orbits could have been structurally stable. Weakly structurally stable systems form an open set in ''X''1(''G''), but it is unknown whether the same property holds in the strong case. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「structural stability」の詳細全文を読む スポンサード リンク
|